$\forall$${\it es}$, $f$, $e$:Top. $f$$\ast\ast$($e$) $\sim$ if $e$ = $f$($e$) then $e$ else $f$$\ast\ast$($f$($e$)) fi